منابع مشابه
Partially Commutative Inverse Monoids
Free partially commutative inverse monoids are investigated. Analogously to free partially commutative monoids (trace monoids), free partially commutative inverse monoids are the quotients of free inverse monoids modulo a partially defined commutation relation on the generators. A quasi linear time algorithm for the word problem is presented, more precisely, we give an O(n log(n)) algorithm for...
متن کاملEquations in Free Inverse Monoids
It is known that the problem of determining consistency of a finite system of equations in a free group or a free monoid is decidable, but the corresponding problem for systems of equations in a free inverse monoid of rank at least two is undecidable. Any solution to a system of equations in a free inverse monoid induces a solution to the corresponding system of equations in the associated free...
متن کاملPresentations of Factorizable Inverse Monoids
We present a method for constructing factorizable inverse monoids (FIMs) from a group and a semilattice, and show that every FIM arises in this way. We then use this structure to describe a presentation of an arbitrary FIM in terms of presentations of its group of units and semilattice of idempotents, together with some other data. We apply this theory to quickly deduce a well known presentatio...
متن کاملMonoids, Boolean Algebras, Materially Ordered Sets
In this paper, the interplay between certain mathematical structures is elucidated. First, it is shown that there is a one-to-one correspondence between bounded half-lattices and commutative idempotent monoids (c.i.-monoids). Adding certain additional structural ingredients and axioms, such c.i.-momoids become Boolean algebras. There is a non-trivial one-to-one correspondence between these and ...
متن کاملLogics for Classes of Boolean Monoids
This paper presents the algebraic and Kripke model soundness and completeness of a logic over Boolean monoids. An additional axiom added to the logic will cause the resulting monoid models to be representable as monoids of relations. A star operator, interpreted as reflexive, transitive closure, is conservatively added to the logic. The star operator is a relative modal operator, i.e., one that...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Semigroup Forum
سال: 2015
ISSN: 0037-1912,1432-2137
DOI: 10.1007/s00233-015-9768-3